Free applicative